John E. Hopcroft
計算機科学:一つの学科の出現 1987年10月号